logical proof - German English Dictionary